Abstract model theory

Results: 937



#Item
201Geometry / Subanalytic set / Nash functions / Semialgebraic set / Tarski–Seidenberg theorem / Sheaf / Algebraic variety / Analytic function / O-minimal theory / Algebraic geometry / Real algebraic geometry / Abstract algebra

Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Subanalytic Geometry EDWARD BIERSTONE AND PIERRE D. MILMAN

Add to Reading List

Source URL: library.msri.org

Language: English - Date: 2001-06-12 16:43:22
202Logic / Algorithm / Abstraction / Model theory / Function / Model checking / Mathematics / Theoretical computer science / Abstract interpretation

Abstract Semantic Differencing via Speculative Correlation Nimrod Partush Eran Yahav Technion

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2014-09-28 10:55:49
203Distributed computing / Fault tolerance / Cryptography / Failure / Theory of computation / Consensus / Byzantine fault tolerance / Promela / Distributed algorithm / Fault-tolerant computer systems / Concurrent computing / Computing

Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib

Add to Reading List

Source URL: forsyte.at

Language: English - Date: 2013-05-15 09:27:00
204Q-learning / Knowledge / Reinforcement learning / Agent-based model / Machine learning / Game theory / Science / Markov models / Artificial intelligence

Empirical and Theoretical Support for Lenient Learning (Extended Abstract) Daan Bloembergen, Michael Kaisers, Karl Tuyls Maastricht University, P.O. Box 616, 6200MD, Maastricht, The Netherlands {daan.bloembergen, michael

Add to Reading List

Source URL: michaelkaisers.com

Language: English - Date: 2012-04-29 08:04:17
205Symbol / Determinacy / Parity game / Structure / Model theory / Metalogic / Logic / Mathematics

A Superpolynomial Lower Bound for Strategy Iteration based on Snare Memorization Oliver Friedmann February 13, 2013 Abstract This paper presents a superpolynomial lower bound for the recently proposed snare memorization

Add to Reading List

Source URL: files.oliverfriedmann.de

Language: English - Date: 2013-02-13 06:59:41
206Abstract algebra / O-minimal theory / Strongly minimal theory / Definable set / Structure / Differentially closed field / Real closed field / Quantifier elimination / Set theory / Model theory / Mathematical logic / Mathematics

Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Overview DEIRDRE HASKELL, ANAND PILLAY, AND CHARLES STEINHORN

Add to Reading List

Source URL: library.msri.org

Language: English - Date: 2001-06-12 16:44:26
207Lie groups / Lie algebras / Metalogic / Model theory / Euclidean geometry / Root system / Weyl group / Entailment / Embedding / Abstract algebra / Mathematics / Logic

Advances in Applied Mathematics–466 www.elsevier.com/locate/yaama Smoothness of Schubert varieties via patterns in root subsystems Sara Billey a,1,∗ , Alexander Postnikov b,2

Add to Reading List

Source URL: www.math.washington.edu

Language: English - Date: 2006-04-26 18:46:55
208Mathematics / CTL* / Method of analytic tableaux / Formal language / Model checking / Temporal logic / Finite-state machine / Tree automaton / Powerset construction / Automata theory / Theoretical computer science / Applied mathematics

Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an effective decision method

Add to Reading List

Source URL: files.oliverfriedmann.de

Language: English - Date: 2012-02-10 07:43:07
209Field theory / Diophantine geometry / Number theory / P-adic number / Valuation / FO / Local zeta-function / Constructible universe / Igusa zeta-function / Abstract algebra / Mathematics / Algebra

Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Arithmetic and Geometric Applications of Quantifier Elimination for Valued Fields

Add to Reading List

Source URL: library.msri.org

Language: English - Date: 2001-06-12 16:43:37
210Mathematical logic / Model theory / Proof of knowledge / Functions and mappings / IP / Zero-knowledge proof / Structure / Functor / Soundness / Mathematics / Cryptographic protocols / Logic

A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2013-03-13 12:33:24
UPDATE